home *** CD-ROM | disk | FTP | other *** search
/ The PC-SIG Library 9 / The PC-SIG Library on CD ROM - Ninth Edition.iso / 401_500 / DISK0417 / DISK0417.ZIP / PROLOG.ARC / SAMPLES.ARC / ORDER.PRO < prev    next >
Text File  |  1986-07-20  |  256b  |  8 lines
  1. /* Ask ?-aless( 2, 3 ). Get: Yes.
  2.    Ask ?-aless( 3, 2 ). Get: No. */
  3.  
  4.  
  5. aless( X, Y ) :- name( X, L ), name( Y, M ), alessx( L, M ).
  6. alessx( [], [_|_] ).
  7. alessx( [X|_], [Y|_] ) :- X < Y.
  8. alessx( [P|Q], [R|S] ) :- P = R, alessx( Q, S ).